Static Analysis of Programs with Imprecise Probabilistic Inputs
نویسندگان
چکیده
Having a precise yet sound abstraction of the inputs of numerical programs is important to analyze their behavior. For many programs, these inputs are probabilistic, but the actual distribution used is only partially known. We present a static analysis framework for reasoning about programs with inputs given as imprecise probabilities: we define a collecting semantics based on the notion of previsions and an abstract semantics based on an extension of Dempster-Shafer structures. We prove the correctness of our approach and show on some realistic examples the kind of invariants we are able to infer.
منابع مشابه
Backwards Abstract Interpretation of Probabilistic Programs
In industrial contexts, safety regulations often mandate upper bounds on the probabilities of failure. Now that embedded computers are part of many industrial environments, it is often needed to analyze programs with non-deterministic and probabilistic behavior. We propose a general abstract interpretation based method for the static analysis of programs using random generators or random inputs...
متن کاملBounded Expectations: Resource Analysis for Probabilistic Programs
Following the increasing relevance of probabilistic programming, there is a renewed interest in addressing the challenges that probabilistic code bears for static reasoning. For example, there are successful techniques for automatic worst-case resource analysis but these techniques are not applicable to many probabilistic programs, which, for instance, only terminate almost surely. This paper p...
متن کاملThe Efficiency of MSBM Model with Imprecise Data (Interval)
Data Envelopment Analysis (DEA) is a mathematical programming-based approach for evaluates the relative efficiency of a set of DMUs (Decision Making Units). The relative efficiency of a DMU is the result of comparing the inputs and outputs of the DMU and those of other DMUs in the PPS (Production Possibility Set). Also, in Data Envelopment Analysis various models have been developed in order to...
متن کاملDATA ENVELOPMENT ANALYSIS WITH FUZZY RANDOM INPUTS AND OUTPUTS: A CHANCE-CONSTRAINED PROGRAMMING APPROACH
In this paper, we deal with fuzzy random variables for inputs andoutputs in Data Envelopment Analysis (DEA). These variables are considered as fuzzyrandom flat LR numbers with known distribution. The problem is to find a method forconverting the imprecise chance-constrained DEA model into a crisp one. This can bedone by first, defuzzification of imprecise probability by constructing a suitablem...
متن کاملScale Efficient Targets in Production Systems With Two-stage Structure Under Imprecise Data Assumption
Traditional data envelopment analysis (DEA) models evaluate two-stage decision making unit (DMU) as a black box and neglect the connectivity may exist among the stages. This paper looks inside the system by considering the intermediate activities between the stages where the first stage uses inputs to produce outputs which are the inputs to the second stage along with its own inputs. Additional...
متن کامل